1

Multilanguage hierarchical logics, or: How we can do without modal logics

Year:
1994
Language:
english
File:
PDF, 2.06 MB
english, 1994
2

Enhancing context knowledge repositories with justifiable exceptions

Year:
2018
Language:
english
File:
PDF, 1.68 MB
english, 2018
3

Comparing formal theories of context in AI

Year:
2004
Language:
english
File:
PDF, 324 KB
english, 2004
4

River regulation and fish larvae: variation through space and time

Year:
2002
Language:
english
File:
PDF, 1.34 MB
english, 2002
8

Distributed first order logic

Year:
2017
Language:
english
File:
PDF, 813 KB
english, 2017
18

ML Systems: A Proof Theory for Contexts

Year:
2002
Language:
english
File:
PDF, 279 KB
english, 2002
22

Glia-T cell dialogue

Year:
2000
Language:
english
File:
PDF, 420 KB
english, 2000
30

AUGMENTING SUBSUMPTION PROPAGATION IN DISTRIBUTED DESCRIPTION LOGICS

Year:
2010
Language:
english
File:
PDF, 1.00 MB
english, 2010
39

ML Systems: A Proof Theory for Contexts

Year:
2002
Language:
english
File:
PDF, 3.80 MB
english, 2002